Proj: 『Homotopy Type Theory Univalent Foundations of Mathematics』を理解する？
Homotopy Type Theoryの参考文献
『Homotopy Type Theory: Univalent Foundations of Mathematics』
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 1 Type theory
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 2 Homotopy type theory
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 3 Sets and logic
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 8 Homotopy theory
『Homotopy Type Theory: Univalent Foundations of Mathematics』Chapter 9 Category theory
ホモトピー論の参考文献